A static type system for message passing
نویسندگان
چکیده
منابع مشابه
Static Provenance Verification for Message Passing Programs
Provenance information records the source and ownership history of an object. We study the problem of provenance tracking in concurrent programs, in which several principals execute concurrent processes and exchange messages over unbounded but unordered channels. The provenance of a message, roughly, is a function of the sequence of principals that have transmitted the message in the past. The ...
متن کاملStatic Verification of Message Passing Programs
Many industrial applications, including safety-critical ones, consist of several disjoint components that use message passing to communicate according to some protocol. These components are typically highly concurrent, since message exchanges may occur in any order. Developing correct message passing programs is therefore very challenging, which makes proving their correctness crucial [4]. A po...
متن کاملType-checked message-passing between functional processes
Karlsson introduced the notion of communicating functional processes [Karlsson81]. It relied on a non-deterministic function, used within the functional program, to implement message-passing between processes. Stoye described a sorting office for inter-process messages which removed the need for non-determinism in the functional language [Stoye86]. Turner added a limited form of static type-che...
متن کاملA Performance Modeling System for Message-Passing Parallel Programs
We present a new performance modeling system for message-passing parallel programs that is based around a Performance Evaluating Virtual Parallel Machine (PEVPM). We explain how a PEVPM model for a particular message-passing program can be developed by inserting PEVPM performance directives that describe the serial segments of computation and the message-passing events that the program contains...
متن کاملFuture-based Static Analysis of Message Passing Programs
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges. Nonetheless, many safety-critical applications rely on the message passing paradigm, including air traffic control systems and emergency services,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1991
ISSN: 0362-1340,1558-1160
DOI: 10.1145/118014.117964